﻿#region License statement
// NJamb, a specification and delta-specification DSL
// Copyright (c) 2010-2011, Mark Knell
// Published under the MIT License; all other rights reserved
#endregion

#region using...
using NJamb.Parser.Subjects;
using NJamb.Specifications.Delta;
using Stile.Patterns.SelfDescribingPredicates;
#endregion

namespace NJamb.Specifications.Void
{
    public class VoidDeltaSpecification<THost> : DeltaSpecification<THost, IEvaluation>
        where THost : class
    {
        private readonly IVoidCollaboratingSpecification<THost> _after;

        public VoidDeltaSpecification(ICollaboratingSpecification<ICollaboratingSubject, IEvaluation> before,
            IVoidCollaboratingSpecification<THost> after)
            : base(before)
        {
            _after = after;
        }

        public override IEvaluable<IEvaluation> After
        {
            get { return _after; }
        }
    }
}
